var searchData=
[
  ['deadline',['deadline',['../kernel_8h.html#a415bfbeeec9b4d8eabe0fa37ffd512fa',1,'kernel.c']]]
];
